Development of Modular Ontologies in CASL
نویسندگان
چکیده
This paper discusses the advantages of the Common Algebraic Specification Language (Casl) for the development of modular ontologies. Casl not only offers logics with a limited expressivity like description logic, but also e.g. first-order logic and modal logic. The central part of Casl is its powerful structuring mechanism, which is orthogonal to the logical formalisms. Hence the modularization applies uniformly to various logics and its extension Heterogeneous Casl (HetCasl) has even constructs for the combination of different logics. Additionally, the Heterogeneous Tool Set (Hets) is presented which enables reasoning and manipulation of Casl specifications. By presenting a detailed example ontology used for spatial knowledge representation the benefits of specification in Casl are discussed. Furthermore, a comparison with the OWL DL import mechanism is provided.
منابع مشابه
Development of structured ontologies in CASL
Ontologies are differentiated in foundational and domain ontologies. As both kinds of ontologies are developed under different considerations such as expressivity or efficiency, usually different formal languages are used. Foundational ontologies are typically specified in first-order logic or modal logic, since precise definitions are considered more important than efficiency. Since domain ont...
متن کاملCasl the Common Algebraic Speciication Language 1
Casl is an expressive language for the formal speciication of functional requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic speciication and development. It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, rst-order logic, an...
متن کاملCASL: A Guided Tour of Its Design
Casl is an expressive language for the specification of functional requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic specification and development. It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, first-order logic, and s...
متن کاملCasl : The Common Algebraic Specification Language 1
Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic specification and development. It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, first-order logic...
متن کاملSpecification of ontologies in CASL
This paper proposes to use CASL (Common Algebraic Specification Language; designed by CoFI – Common Framework Initiative) for formalising ontologies in FOL. The major advantage of CASL over other specification techniques is its static strong typing and subtyping. Namely, using sorts (types) instead of unary predicates for the ontological categories gives the possibility to find unintended appli...
متن کامل